<HTML><HEAD><TITLE>library(fzn_fd)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(fzn_fd)</H1>
Mapping from FlatZinc to lib(fd) and lib(fd_sets)
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><STRONG>all_disjoint(?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>minimize(?, ?, ?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>sort(?, ?)</STRONG></DT>
<DD>No description available</DD>
</DL>
</BLOCKQUOTE>
<H2>Reexports</H2>
<BLOCKQUOTE><DL>
<DT><STRONG>reexport <A HREF="../../lib/edge_finder/cumulative-4.html">cumulative / 4</A> from <A HREF="../../lib/edge_finder/index.html">edge_finder</A></STRONG></DT><DD></DD>
<DT><STRONG>reexport <A HREF="../../lib/fd_sets/disjoint-2.html">disjoint / 2</A> from <A HREF="../../lib/fd_sets/index.html">fd_sets</A></STRONG></DT><DD></DD>
</DL></BLOCKQUOTE>
<H2>Description</H2>

This module defines a mapping from FlatZinc operations to lib(fd),
lib(fd_sets) and lib(fd_global), and is intended to be used in
conjunction with lib(flatzinc).  It uses lib(propia) to implement
variants of the element constraint that are not supported by lib(fd).
Moreover, lib(branch_and_bound) is used to provide optimization.
</P><P>
This mapping supports bool, integer and set variables.
It does currently not support all constraints in reified form,
in particular set constraints, according to the limitations of
the underlying solvers.
</P><P>
The following extra annotations are supported by this mapping:
<DL>
<DT>annotation strategy(string:s)</DT>
    <DD>the branch-and-bound strategy (default: "continue"). Valid names
    are "continue", "restart", "dichotomic", See bb_min/3.</DD>
<DT>annotation delta(float:f)</DT>
    <DD>minimal absolute improvement for branch-and-bound steps (default 1.0).
    See bb_min/3./DD>
<DT>annotation factor(float:f)</DT>
    <DD>minimal improvement ratio (with respect to the lower cost bound)
    for strategies 'continue' and 'restart' (default 1.0), or split factor
    for strategy 'dichotomic' (default 0.5). See bb_min/3.</DD>
<DT>annotation timeout(float:f)</DT>
    <DD>timeout for branch-and-bound in seconds (default: unlimited).
    See bb_min/3.</DD>
</DL>
You must include "eclipse.mzn" in your MiniZinc model to use these
annotations.
<P>

<H2>About</H2><UL COMPACT>
<LI><STRONG>Author: </STRONG>Joachim Schimpf, supported by Cisco Systems and NICTA Victoria
<LI><STRONG>Copyright &copy; </STRONG>Cisco Systems Inc, licensed under CMPL
<LI><STRONG>Date: </STRONG>$Date: 2009/03/30 03:30:21 $
</UL>
<H2>See Also</H2>
<A HREF="../../lib_public/flatzinc/index.html">library(flatzinc)</A>, <A HREF="../../lib/fd/index.html">library(fd)</A>, <A HREF="../../lib/fd_sets/index.html">library(fd_sets)</A>, <A HREF="../../lib/fd_global/index.html">library(fd_global)</A>, <A HREF="../../lib/propia/index.html">library(propia)</A>, <A HREF="../../lib/branch_and_bound/index.html">library(branch_and_bound)</A><HR>Generated from fzn_fd.eci on 2009-05-27 01:25
</BODY></HTML>
